News Oct 5, 2026
AI-assisted proof establishes new lower bound for Riemann zeta zeros on critical line
A collaboration between Anthropic's Claude and mathematician Youness Lamzouri has produced a new unconditional proof that more than 67% of non-trivial zeros of the Riemann zeta function lie on the critical line, with additional results.
Giulio Prisco 2 min read